reducible identity

[数] 可约恒等式